Study on Fault Analysis Technology by Means of Petri Nets
نویسندگان
چکیده
Petri Nets can represent static structure and dynamic change in a system, and reflect the state of a system and the development of event. It can express spread relationship of faults and identify the minimal cut sets (MCS) according to the relationship between inputs and outputs implied in the Incidence Matrix of Petri Nets. Petri Nets can also be used for qualitative analysis according to the program of the method and shows its advantage when dealing with models containing repeatable events. The proposed method differs from other cut sets-finding methods in fault tree analysis, and utilizes the property of Petri nets. It is easy for programming. In addition, failure detection using reachability concepts and state equation of Petri nets according to the number of tokens or initial states can predict the next state and final state of a system. A sample system is analyzed to show the process of the proposed method.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Distributed Algorithm for On-line Diagnosis of Place-bordered Petri Nets
A new distributed algorithm for on-line fault detection and isolation of discreteevent systems modeled by Petri nets is presented. The algorithm is applicable to systems modeled in a modular manner by means of place-bordered Petri nets, i.e., Petri nets with common places but distinct transitions. These Petri nets have transition labeled with events; fault events are modeled as transitions labe...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کامل